ampl: include 'C:\Users\DELL\Ejecutar52.run';

Presolve eliminates 2553 constraints and 671104 variables.
Adjusted problem:
74148 variables:
	1456 binary variables
	72682 integer variables
	10 linear variables
11008 constraints, all linear; 668112 nonzeros
	2636 equality constraints
	8372 inequality constraints
1 linear objective; 5 nonzeros.

CPLEX 20.1.0.0: timelimit=7200
outlev=1
mipdisplay=2
MIP Presolve eliminated 6 rows and 5 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9950 rows, 73091 columns, and 664612 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9950 rows, 73091 columns, and 664612 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Probing fixed 0 vars, tightened 294 bounds.
Probing time = 0.16 sec. (60.75 ticks)
Cover probing fixed 0 vars, tightened 634 bounds.
Clique table members: 104.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 4.05 sec. (1791.00 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0     3814.3044  1126                   3814.3044       37         
*     0+    0                      7114054.4637     3814.3044            99.95%
*     0+    0                      7113970.0781     3814.3044            99.95%
      0     0     3814.3058  1126  7113970.0781     Cuts: 454     1752   99.95%
      0     0     3814.3058  1380  7113970.0781     Cuts: 879     4749   99.95%
*     0+    0                         6185.7802     3814.3058            38.34%
*     0+    0                         6131.9148     3814.3058            37.80%
      0     0  -1.00000e+75     0     6131.9148     3814.3058     4749   37.80%
      0     2     3814.3058   902     6131.9148     3814.3058     4749   37.80%
Elapsed time = 71.30 sec. (59169.74 ticks, tree = 0.02 MB)
      2     4     3814.3058   999     6131.9148     3814.3058     5539   37.80%
      3     5     3814.3058   979     6131.9148     3814.3058     5546   37.80%
      5     5     3814.3058  1023     6131.9148     3814.3058     5764   37.80%
     10     3     3814.3059  1046     6131.9148     3814.3058     6239   37.80%
     12    14     3814.3059   970     6131.9148     3814.3058     7495   37.80%
     14    15     3814.3059   954     6131.9148     3814.3058     7720   37.80%
     15     6     3814.3058  1011     6131.9148     3814.3058     6922   37.80%
     16    18     3814.3058  1027     6131.9148     3814.3058     9710   37.80%
     18     4     3814.3114  1024     6131.9148     3814.3058     8493   37.80%
     20    12     3814.3071   985     6131.9148     3814.3058     9714   37.80%
Elapsed time = 114.67 sec. (68947.81 ticks, tree = 0.06 MB)
     27    23     3814.3070  1057     6131.9148     3814.3058    25655   37.80%
     28    19     3814.3140   727     6131.9148     3814.3058    14997   37.80%
     36    26     3814.3157  1015     6131.9148     3814.3058    40215   37.80%
     40    26     3814.3140   713     6131.9148     3814.3058    35827   37.80%
     45    31     3814.3132   984     6131.9148     3814.3058    60232   37.80%
     47    32     3814.3118   977     6131.9148     3814.3058    63914   37.80%
     49    24     3814.3109  1064     6131.9148     3814.3058    25063   37.80%
     51    30     3814.3242   919     6131.9148     3814.3058    49390   37.80%
     52    42     3814.3140   708     6131.9148     3814.3058    84979   37.80%
     56    55     3814.3140   715     6131.9148     3814.3058   125762   37.80%
Elapsed time = 180.59 sec. (82269.22 ticks, tree = 1.63 MB)
     58    49     3814.3248   978     6131.9148     3814.3058   103499   37.80%
     67    53     3814.3242   902     6131.9148     3814.3058   113730   37.80%
     71    61     3814.3396  1032     6131.9148     3814.3058   125982   37.80%
     75    63     3814.3242   931     6131.9148     3814.3058   143245   37.80%
     76    63     3814.3683   910     6131.9148     3814.3058   157317   37.80%
     78    65     3814.3702   935     6131.9148     3814.3058   181029   37.80%
     82    69     3815.5094   875     6131.9148     3814.3058   201407   37.80%
     83    70     3814.3683   861     6131.9148     3814.3058   211235   37.80%
     84    71     3814.3848   688     6131.9148     3814.3058   223531   37.80%
     85    64     3814.3242   957     6131.9148     3814.3058   145533   37.80%
Elapsed time = 275.48 sec. (98316.53 ticks, tree = 1.75 MB)
     89    56     3814.3197   915     6131.9148     3814.3058   157595   37.80%
    108    95     3814.3141   634     6131.9148     3814.3058   297014   37.80%
    115    93     3814.3091   991     6131.9148     3814.3058   364819   37.80%
    122    89     3814.3274   664     6131.9148     3814.3058   325384   37.80%
    124    61     3814.3688   995     6131.9148     3814.3058   146760   37.80%
    133    72     3814.3848   719     6131.9148     3814.3058   227580   37.80%
    134    91     3814.3290   876     6131.9148     3814.3058   327559   37.80%
    139    57     3814.3167   924     6131.9148     3814.3058   148805   37.80%
    145    94     3814.3119   933     6131.9148     3814.3058   398375   37.80%
    148   101     3814.3287   801     6131.9148     3814.3058   418756   37.80%
Elapsed time = 333.36 sec. (114191.26 ticks, tree = 2.83 MB)
    152    95     3814.3873   797     6131.9148     3814.3058   416665   37.80%
    159   100     3814.3202   933     6131.9148     3814.3058   371511   37.80%
    161    97     3814.3238   641     6131.9148     3814.3058   402029   37.80%
    167   123     3814.3225   842     6131.9148     3814.3058   460687   37.80%
    171   126     3814.3195   907     6131.9148     3814.3058   465914   37.80%
    174   121     3814.4004   600     6131.9148     3814.3058   464178   37.80%
    180   157     3814.3167   641     6131.9148     3814.3058   489135   37.80%
    195   174     3814.3274   671     6131.9148     3814.3058   515288   37.80%
    196   136     3814.3232   951     6131.9148     3814.3058   473975   37.80%
    199   175     3814.3369   949     6131.9148     3814.3058   516929   37.80%
Elapsed time = 409.26 sec. (129811.48 ticks, tree = 4.63 MB)
    204   171     3814.3241   965     6131.9148     3814.3058   514524   37.80%
    208   179     3814.4004   627     6131.9148     3814.3058   524105   37.80%
    214   180     3814.3415   743     6131.9148     3814.3058   519342   37.80%
    218   166     3814.3295   759     6131.9148     3814.3058   494633   37.80%
    249   164     3818.2685  1038     6131.9148     3814.3058   509838   37.80%
    259   192     3814.3206   869     6131.9148     3814.3058   533011   37.80%
    266   195     3814.3141   638     6131.9148     3814.3058   533014   37.80%
    276   239     3814.3296  1019     6131.9148     3814.3058   552760   37.80%
    281   227     3814.3473   941     6131.9148     3814.3058   545905   37.80%
    288   207     3814.3328   731     6131.9148     3814.3058   540966   37.80%
Elapsed time = 522.91 sec. (151140.41 ticks, tree = 7.13 MB)
    289   250     3814.3180   703     6131.9148     3814.3058   565094   37.80%
    298   245     3814.3371   834     6131.9148     3814.3058   560033   37.80%
    302   248     3814.3355   898     6131.9148     3814.3058   561297   37.80%
    305   256     3814.4004   617     6131.9148     3814.3058   571790   37.80%
    307   250     3814.3283   741     6131.9148     3814.3058   562748   37.80%
    310   254     3814.3328   687     6131.9148     3814.3058   577325   37.80%
    315   265     3814.3470  1028     6131.9148     3814.3058   581242   37.80%
    319   260     3815.5221   825     6131.9148     3814.3058   577539   37.80%
    323   286     3814.4004   609     6131.9148     3814.3058   597100   37.80%
    324   287     3814.4004   683     6131.9148     3814.3058   597826   37.80%
Elapsed time = 613.64 sec. (170363.56 ticks, tree = 14.97 MB)
    327   154     3814.3225   920     6131.9148     3814.3058   484928   37.80%
    331   236     3814.3155   924     6131.9148     3814.3058   548105   37.80%
    335   288     3814.3297   983     6131.9148     3814.3058   599031   37.80%
    344   293     3814.4007   636     6131.9148     3814.3058   601801   37.80%
    358   308     3814.3138   921     6131.9148     3814.3058   602289   37.80%
    361   339     3814.3160   608     6131.9148     3814.3058   614416   37.80%
    367   292     3814.3243   822     6131.9148     3814.3058   601294   37.80%
    372   294     3814.3243   818     6131.9148     3814.3058   602134   37.80%
    375   316     3814.4007   599     6131.9148     3814.3058   608684   37.80%
    388   333     3814.3248   922     6131.9148     3814.3058   610527   37.80%
Elapsed time = 682.94 sec. (184422.06 ticks, tree = 19.03 MB)
    395   340     3814.3238   678     6131.9148     3814.3058   629210   37.80%
    398   318     3814.3328   920     6131.9148     3814.3058   605158   37.80%
    404   372     3814.3138   870     6131.9148     3814.3058   651277   37.80%
    416   343     3814.3238   654     6131.9148     3814.3058   630695   37.80%
    419   342     3814.3179   618     6131.9148     3814.3058   619268   37.80%
    428   373     3814.3387   962     6131.9148     3814.3058   653219   37.80%
    436   344     3814.3179   570     6131.9148     3814.3058   620550   37.80%
    437   379     3814.3179   546     6131.9148     3814.3058   665534   37.80%
    446   352     3814.3363   938     6131.9148     3814.3058   652031   37.80%
    448   353     3814.3356   929     6131.9148     3814.3058   616498   37.80%
Elapsed time = 748.95 sec. (197646.26 ticks, tree = 21.28 MB)
    451   423     3814.3238   639     6131.9148     3814.3058   691727   37.80%
    459   426     3814.3238   629     6131.9148     3814.3058   691813   37.80%
    465   427     3814.3238   602     6131.9148     3814.3058   692451   37.80%
    469   383     3814.3179   610     6131.9148     3814.3058   669634   37.80%
    474   392     3814.4007   587     6131.9148     3814.3058   679175   37.80%
    476   354     3814.3337   998     6131.9148     3814.3058   657728   37.80%
    481   439     3814.3222   887     6131.9148     3814.3058   701249   37.80%
    486   384     3814.3224   952     6131.9148     3814.3058   672819   37.80%
    490   426     3814.3376   863     6131.9148     3814.3058   689945   37.80%
    519   446     3814.3138   870     6131.9148     3814.3058   704700   37.80%
Elapsed time = 835.97 sec. (214305.32 ticks, tree = 31.56 MB)
    529   463     3814.3450   921     6131.9148     3814.3058   726275   37.80%
    547   454     3814.3833   746     6131.9148     3814.3058   720372   37.80%
    570   468     3814.3355   832     6131.9148     3814.3058   738718   37.80%
    582   527     3814.3346   953     6131.9148     3814.3058   799611   37.80%
    600   509     3814.3833   895     6131.9148     3814.3058   794365   37.80%
    613   570     3814.3284   656     6131.9148     3814.3058   851865   37.80%
    619   557     3814.3412   523     6131.9148     3814.3058   825077   37.80%
    633   583     3814.3412   603     6131.9148     3814.3058   862625   37.80%
    636   542     3815.4541   907     6131.9148     3814.3058   810811   37.80%
    649   476     3814.3238   549     6131.9148     3814.3058   760599   37.80%
Elapsed time = 1063.17 sec. (258723.90 ticks, tree = 34.07 MB)
    659   609     3814.3355   872     6131.9148     3814.3058   893762   37.80%
    681   613     3814.3370   924     6131.9148     3814.3058   895757   37.80%
    691   627     3814.3297   767     6131.9148     3814.3058   920727   37.80%
    706   660     3814.3850   705     6131.9148     3814.3058   942334   37.80%
    714   630     3814.3275   861     6131.9148     3814.3058   905280   37.80%
    725   687     3814.3530   884     6131.9148     3814.3058   963878   37.80%
    737   675     3814.3238   610     6131.9148     3814.3058   952936   37.80%
    744   680     3814.8553   476     6131.9148     3814.3058   960397   37.80%
    745   681     3814.8553   694     6131.9148     3814.3058   962625   37.80%
    776   713     3814.3518   745     6131.9148     3814.3058   972072   37.80%
Elapsed time = 1288.97 sec. (301275.02 ticks, tree = 59.98 MB)
    802   722     3814.8553   480     6131.9148     3814.3058  1006188   37.80%
    826   719     3814.3221   935     6131.9148     3814.3058   976564   37.80%
    847   724     3814.8823   886     6131.9148     3814.3058  1011459   37.80%
    860   725     3814.8553   548     6131.9148     3814.3058  1013784   37.80%
    881   803     3814.3409  1011     6131.9148     3814.3058  1040039   37.80%
    896   822     3814.8083   388     6131.9148     3814.3058  1055720   37.80%
    905   790     3814.3434   704     6131.9148     3814.3058  1033062   37.80%
    928   866     3814.3640   465     6131.9148     3814.3058  1070964   37.80%
    945   868     3814.3810   671     6131.9148     3814.3058  1073128   37.80%
    969   898     3814.8553   479     6131.9148     3814.3058  1125932   37.80%
Elapsed time = 1513.17 sec. (343797.92 ticks, tree = 85.35 MB)
    984   872     3814.3238   580     6131.9148     3814.3058  1096365   37.80%
   1005   880     3814.3640   458     6131.9148     3814.3058  1079624   37.80%
   1014   908     3814.8553   486     6131.9148     3814.3058  1132748   37.80%
   1027   918     3814.3587   538     6131.9148     3814.3058  1146097   37.80%
   1046   864     3814.3822   573     6131.9148     3814.3058  1099867   37.80%
   1061   921     3814.7880   858     6131.9148     3814.3058  1150971   37.80%
   1081   935     3814.3587   471     6131.9148     3814.3058  1153232   37.80%
   1098  1010     3814.3649   581     6131.9148     3814.3058  1221835   37.80%
   1112   956     3814.3695   596     6131.9148     3814.3058  1170531   37.80%
   1128  1076     3814.3747   520     6131.9148     3814.3058  1291416   37.80%
Elapsed time = 1718.05 sec. (386104.27 ticks, tree = 113.25 MB)
   1144  1029     3814.8553   648     6131.9148     3814.3058  1245724   37.80%
   1170  1092     3814.3831   569     6131.9148     3814.3058  1321355   37.80%
   1187   992     3814.8747   757     6131.9148     3814.3058  1207275   37.80%
   1194  1128     3814.8600   546     6131.9148     3814.3058  1360032   37.80%
   1213  1136     3814.8882   773     6131.9148     3814.3058  1362333   37.80%
   1227  1145     3814.8993   924     6131.9148     3814.3058  1365273   37.80%
   1257  1107     3814.3831   506     6131.9148     3814.3058  1335136   37.80%
   1271  1136     3814.3636   840     6131.9148     3814.3058  1393084   37.80%
   1283  1139     3814.3587   535     6131.9148     3814.3058  1395351   37.80%
   1302  1162     3814.3663   568     6131.9148     3814.3058  1434836   37.80%
Elapsed time = 1933.01 sec. (428289.35 ticks, tree = 126.72 MB)
   1322  1199     3814.4031   525     6131.9148     3814.3058  1455391   37.80%
   1336  1203     3814.4031   614     6131.9148     3814.3058  1457486   37.80%
   1356  1206     3814.4031   508     6131.9148     3814.3058  1459760   37.80%
   1366  1174     3814.3640   489     6131.9148     3814.3058  1443610   37.80%
   1379  1261     3814.3623   410     6131.9148     3814.3058  1530161   37.80%
   1389  1221     3814.8759   791     6131.9148     3814.3058  1497197   37.80%
   1400  1321     3814.8780   884     6131.9148     3814.3058  1589992   37.80%
   1418  1097     3814.3747   466     6131.9148     3814.3058  1297069   37.80%
   1441  1334     3814.3623   398     6131.9148     3814.3058  1607525   37.80%
   1451  1306     3814.3238   556     6131.9148     3814.3058  1582319   37.80%
Elapsed time = 2161.20 sec. (471376.04 ticks, tree = 140.56 MB)
   1459  1339     3814.8942   772     6131.9148     3814.3058  1599889   37.80%
   1465  1340     3814.8942   806     6131.9148     3814.3058  1602321   37.80%
   1471  1384     3814.3853   492     6131.9148     3814.3058  1629908   37.80%
   1479  1386     3814.3646   485     6131.9148     3814.3058  1639939   37.80%
   1487  1411     3814.3853   413     6131.9148     3814.3058  1666448   37.80%
   1494  1386     3814.3238   531     6131.9148     3814.3058  1655246   37.80%
   1499  1426     3814.3646   485     6131.9148     3814.3058  1681033   37.80%
   1504  1430     3814.3646   461     6131.9148     3814.3058  1682637   37.80%
   1524  1426     3814.3853   412     6131.9148     3814.3058  1677682   37.80%
   1528  1439     3814.3646   307     6131.9148     3814.3058  1687026   37.80%
Elapsed time = 2390.25 sec. (515417.98 ticks, tree = 155.48 MB)
   1535  1442     3814.3646   382     6131.9148     3814.3058  1690344   37.80%
   1542  1443     3814.3695   567     6131.9148     3814.3058  1692660   37.80%
   1552  1459     3814.3934   671     6131.9148     3814.3058  1719301   37.80%
   1556  1445     3815.5037   702     6131.9148     3814.3058  1698425   37.80%
   1569  1495     3814.9086   759     6131.9148     3814.3058  1739744   37.80%
   1588  1471     3814.3853   377     6131.9148     3814.3058  1729909   37.80%
   1602  1509     3814.8689   536     6131.9148     3814.3058  1744749   37.80%
   1621  1508     3814.3648   362     6131.9148     3814.3058  1758087   37.80%
   1627  1533     3814.3853   327     6131.9148     3814.3058  1794460   37.80%
   1647  1510     3814.3238   478     6131.9148     3814.3058  1778955   37.80%
Elapsed time = 2645.45 sec. (563558.07 ticks, tree = 164.28 MB)
   1661  1548     3814.4422   504     6131.9148     3814.3058  1800093   37.80%
   1674  1586     3814.8742   427     6131.9148     3814.3058  1820108   37.80%
   1685  1590     3814.8742   476     6131.9148     3814.3058  1822937   37.80%
*  1701+ 1629                         5925.3963     3814.3058            35.63%
   1703  1666     3814.3857   387     5925.3963     3814.3058  1890044   35.63%
   1707  1592     3814.3936   821     5925.3963     3814.3058  1850075   35.63%
   1715  1601     3814.3244   540     5925.3963     3814.3058  1859564   35.63%
   1722  1675     3814.4034   410     5925.3963     3814.3058  1895256   35.63%
   1729  1689     3814.3648   472     5925.3963     3814.3058  1928877   35.63%
   1736  1683     3814.4043   641     5925.3963     3814.3058  1900512   35.63%
   1743  1686     3814.4043   501     5925.3963     3814.3058  1902668   35.63%
Elapsed time = 2891.63 sec. (606104.89 ticks, tree = 194.37 MB)
   1755  1689     3814.4056   511     5925.3963     3814.3058  1905111   35.63%
   1764  1692     3814.4056   409     5925.3963     3814.3058  1908184   35.63%
   1773  1337     3814.3623   446     5925.3963     3814.3058  1610575   35.63%
   1784  1724     3814.3623   457     5925.3963     3814.3058  1968517   35.63%
   1791  1759     3814.3830   385     5925.3963     3814.3058  2003090   35.63%
   1802  1727     3814.3623   528     5925.3963     3814.3058  1972819   35.63%
   1811  1725     3814.4101   481     5925.3963     3814.3058  1972411   35.63%
   1825  1703     3814.3244   485     5925.3963     3814.3058  1957479   35.63%
   1843  1786     3814.8942   719     5925.3963     3814.3058  2022839   35.63%
   1848  1733     3815.2084   348     5925.3963     3814.3058  1982142   35.63%
Elapsed time = 3049.33 sec. (648162.10 ticks, tree = 199.03 MB)
   1862  1730     3815.5021   517     5925.3963     3814.3058  2004158   35.63%
   1869  1787     3814.3993   852     5925.3963     3814.3058  2018099   35.63%
*  1882+ 1666                         5920.3442     3814.3058            35.57%
   1884  1824     3814.3059  1014     5920.3442     3814.3058  2090225   35.57%
   1898  1829     3814.3084   889     5920.3442     3814.3058  2092665   35.57%
   1932  1820     3814.4056   475     5920.3442     3814.3058  2062960   35.57%
   1943  1857     3814.3089  1003     5920.3442     3814.3058  2097657   35.57%
   1983  1843     3815.5024   481     5920.3442     3814.3058  2101725   35.57%
   1987  1798     3814.3320   800     5920.3442     3814.3058  2058492   35.57%
*  2016+ 1920                         5913.6243     3814.3058            35.50%
   2017  1844     3815.5336   651     5913.6243     3814.3058  2107680   35.50%

Performing restart 1

Repeating presolve.
MIP Presolve modified 512743 coefficients.
Reduced MIP has 9950 rows, 73091 columns, and 347386 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Reduced MIP has 9950 rows, 73091 columns, and 347386 nonzeros.
Reduced MIP has 1456 binaries, 71630 generals, 0 SOSs, and 0 indicators.
Represolve time = 1.00 sec. (625.19 ticks)
   2019     0     3814.3058  1215     5913.6243     Cuts: 782  2282858   35.50%
*  2019+    0                         5888.7742     3814.3058            35.23%
   2019     0     3814.3058  1138     5888.7742     Cuts: 634  2284722   35.23%
   2019     0     3814.3058  1648     5888.7742    Cuts: 1083  2292242   35.23%
   2019     0     3814.3058  1530     5888.7742     Cuts: 841  2299473   35.23%
   2019     0     3814.3058  1312     5888.7742     Cuts: 802  2303444   35.23%
   2019     0     3814.3058  1802     5888.7742    Cuts: 1248  2313200   35.23%
   2019     0     3814.3058  1429     5888.7742     Cuts: 647  2318059   35.23%
   2019     0     3814.3058  1973     5888.7742    Cuts: 1424  2327762   35.23%
*  2019+    0                         5796.7589     3814.3058            34.20%
   2019     2     3814.3058   853     5796.7589     3814.3058  2327762   34.20%
Elapsed time = 3643.63 sec. (1083661.72 ticks, tree = 0.02 MB)
   2022     3     3814.3075   885     5796.7589     3814.3075  2328466   34.20%
   2027    10     3814.3077   975     5796.7589     3814.3075  2340162   34.20%
   2039    17     3814.3090   949     5796.7589     3814.3075  2361769   34.20%
   2061    38     3814.3083   912     5796.7589     3814.3077  2416925   34.20%
   2088    61     3814.3097   872     5796.7589     3814.3077  2441009   34.20%
   2166   101     3814.3125   679     5796.7589     3814.3077  2455783   34.20%
   2234   184     3814.3111   469     5796.7589     3814.3077  2475797   34.20%
   2268   198     3814.3102   730     5796.7589     3814.3077  2500577   34.20%
   2304   219     3814.3209   770     5796.7589     3814.3077  2514914   34.20%
   2325   269     3814.3102   784     5796.7589     3814.3077  2542598   34.20%
Elapsed time = 3830.76 sec. (1124532.84 ticks, tree = 3.29 MB)
   2367   250     3814.3412   937     5796.7589     3814.3077  2526700   34.20%
   2381   313     3814.3110   813     5796.7589     3814.3077  2587782   34.20%
*  2418+  342                         5768.5544     3814.3077            33.88%
   2435   322     3814.3128   893     5768.5544     3814.3077  2601798   33.88%
   2453   403     3814.3150   656     5768.5544     3814.3077  2640346   33.88%
   2482   427     3814.3115   703     5768.5544     3814.3077  2660424   33.88%
   2526   444     3814.3216   387     5768.5544     3814.3077  2685604   33.88%
   2549   483     3814.3167   793     5768.5544     3814.3077  2695485   33.88%
   2576   523     3814.3134   552     5768.5544     3814.3077  2761831   33.88%
   2624   499     3814.3216   468     5768.5544     3814.3077  2746325   33.88%
   2644   531     3814.3235   567     5768.5544     3814.3077  2767948   33.88%
Elapsed time = 4054.98 sec. (1164395.13 ticks, tree = 15.96 MB)
   2679   490     3814.3223   840     5768.5544     3814.3077  2741611   33.88%
   2695   625     3814.3099   670     5768.5544     3814.3077  2830016   33.88%
*  2714+  598                         5765.1817     3814.3077            33.84%
   2718   636     3814.3559   795     5765.1817     3814.3077  2853922   33.84%
   2742   694     3814.3295   485     5765.1817     3814.3077  2904302   33.84%
*  2767+  646                         5729.6598     3814.3077            33.43%
   2769   655     3814.3414   823     5729.6598     3814.3077  2886605   33.43%
   2783   711     3814.3333   528     5729.6598     3814.3077  2970060   33.43%
   2804   722     3814.3578   928     5729.6598     3814.3077  3018974   33.43%
   2818   744     3814.3151   761     5729.6598     3814.3077  2993284   33.43%
   2840   763     3814.3161   939     5729.6598     3814.3077  2995868   33.43%
   2848   759     3814.3333   756     5729.6598     3814.3077  3069217   33.43%
Elapsed time = 4314.39 sec. (1205359.77 ticks, tree = 24.76 MB)
   2855   764     3814.3245   967     5729.6598     3814.3077  3002823   33.43%
   2862   779     3814.3245   925     5729.6598     3814.3077  3097747   33.43%
   2867   782     3814.3245   927     5729.6598     3814.3077  3100396   33.43%
   2871   803     3814.3262   724     5729.6598     3814.3077  3170325   33.43%
   2881   809     3814.3321   653     5729.6598     3814.3077  3181668   33.43%
   2887   811     3814.3333   627     5729.6598     3814.3077  3192786   33.43%
   2903   823     3814.3223   531     5729.6598     3814.3077  3202540   33.43%
   2906   824     3814.3223   660     5729.6598     3814.3077  3206270   33.43%
   2910   679     3814.3104   575     5729.6598     3814.3077  2888414   33.43%
   2919   741     3814.3305   322     5729.6598     3814.3077  2974132   33.43%
Elapsed time = 4524.67 sec. (1251550.81 ticks, tree = 23.68 MB)
   2925   865     3814.3269   845     5729.6598     3814.3077  3230053   33.43%
   2953   892     3814.3322   386     5729.6598     3814.3077  3276904   33.43%
   2962   905     3814.3114   704     5729.6598     3814.3077  3291878   33.43%
   2981   866     3814.3333   522     5729.6598     3814.3077  3261006   33.43%
   2989   861     3814.3223   807     5729.6598     3814.3077  3255427   33.43%
   3018   913     3814.3227   828     5729.6598     3814.3077  3327814   33.43%
*  3025+  936                         5694.1288     3814.3077            33.01%
   3034   908     3814.3333   600     5694.1288     3814.3077  3319576   33.01%
   3070   948     3814.3201   573     5694.1288     3814.3077  3350276   33.01%
   3123   913     3814.3357   758     5694.1288     3814.3077  3325696   33.01%
*  3150+ 1021                         5639.8831     3814.3077            32.37%
   3153  1059     3814.3587   638     5639.8831     3814.3077  3508796   32.37%
Elapsed time = 4705.83 sec. (1293223.89 ticks, tree = 44.74 MB)
   3192   993     3814.3470   528     5639.8831     3814.3077  3389047   32.37%
   3233  1160     3814.3323   500     5639.8831     3814.3077  3551890   32.37%
   3275  1052     3814.3238   670     5639.8831     3814.3077  3516907   32.37%
   3308  1181     3814.3332   492     5639.8831     3814.3077  3558347   32.37%
   3364  1166     3814.3575   827     5639.8831     3814.3077  3571961   32.37%
   3382  1207     3814.3624   781     5639.8831     3814.3077  3565081   32.37%
   3414  1181     3814.3333   430     5639.8831     3814.3077  3601578   32.37%
   3443  1318     3814.3333   358     5639.8831     3814.3077  3664406   32.37%
   3472  1235     3814.3355   339     5639.8831     3814.3077  3645907   32.37%
   3497  1358     3814.3663   715     5639.8831     3814.3077  3682232   32.37%
Elapsed time = 4924.14 sec. (1334425.64 ticks, tree = 79.74 MB)
   3512  1331     3814.3337   464     5639.8831     3814.3077  3676561   32.37%
   3520  1368     3814.3656   694     5639.8831     3814.3077  3688500   32.37%
   3531  1346     3814.3355   347     5639.8831     3814.3077  3704305   32.37%
   3542  1382     3814.3683   895     5639.8831     3814.3077  3719094   32.37%
   3554  1433     3814.3355   349     5639.8831     3814.3077  3735986   32.37%
   3564  1384     3814.3958  1000     5639.8831     3814.3077  3725272   32.37%
   3567  1436     3814.3393   871     5639.8831     3814.3077  3743609   32.37%
   3570  1439     3814.3504   873     5639.8831     3814.3077  3762237   32.37%
   3572  1178     3814.3238   648     5639.8831     3814.3077  3585601   32.37%
   3580  1461     3814.3285   781     5639.8831     3814.3077  3767990   32.37%
Elapsed time = 5173.76 sec. (1379735.32 ticks, tree = 93.47 MB)
   3584  1463     3814.3327   745     5639.8831     3814.3077  3771824   32.37%
   3594  1490     3814.3580   831     5639.8831     3814.3077  3787380   32.37%
   3599  1467     3814.3683   890     5639.8831     3814.3077  3791940   32.37%
   3600  1505     3814.3420   862     5639.8831     3814.3077  3802705   32.37%
   3607  1437     3814.3611   612     5639.8831     3814.3077  3730659   32.37%
   3620  1500     3814.3685   815     5639.8831     3814.3077  3801084   32.37%
   3638  1511     3814.3335   818     5639.8831     3814.3077  3811016   32.37%
   3675  1554     3814.3631   700     5639.8831     3814.3077  3833459   32.37%
   3695  1563     3814.3637   733     5639.8831     3814.3077  3836304   32.37%
   3706  1584     3814.3782   839     5639.8831     3814.3077  3860746   32.37%
Elapsed time = 5366.03 sec. (1422602.52 ticks, tree = 110.47 MB)
   3752  1633     3814.3924   727     5639.8831     3814.3077  3888831   32.37%
   3777  1658     3814.3226   542     5639.8831     3814.3077  3906886   32.37%
   3825  1703     3814.3230   515     5639.8831     3814.3077  3909409   32.37%
   3852  1712     3814.3369   799     5639.8831     3814.3077  3913369   32.37%
*  3854+ 1711                         5611.6561     3814.3077            32.03%
   3867  1590     3814.3533   858     5611.6561     3814.3077  3887781   32.03%
   3887  1763     3814.3231   463     5611.6561     3814.3077  3948507   32.03%
   3894  1781     3814.3584   919     5611.6561     3814.3077  3993028   32.03%
   3915  1779     3814.3533   617     5611.6561     3814.3077  3968163   32.03%
   3926  1783     3814.3533   660     5611.6561     3814.3077  3971781   32.03%
*  3927+ 1775                         5463.2708     3814.3077            30.18%
   3932  1784     3814.3533   597     5463.2708     3814.3077  3974737   30.18%
Elapsed time = 5589.86 sec. (1463779.32 ticks, tree = 137.22 MB)
   3945  1886     3814.3533   540     5463.2708     3814.3077  4056894   30.18%
   3962  1873     3814.4503   850     5463.2708     3814.3077  4046401   30.18%
*  3985+ 1846                         5433.0144     3814.3077            29.79%
   3995  1909     3814.4039   741     5433.0144     3814.3077  4085560   29.79%
   4035  1866     3814.3466   718     5433.0144     3814.3077  4050484   29.79%
   4050  1936     3814.4505   770     5433.0144     3814.3077  4099593   29.79%
   4073  1927     3814.4165   669     5433.0144     3814.3077  4096597   29.79%
   4088  1975     3814.3337   441     5433.0144     3814.3077  4147853   29.79%
   4103  1977     3814.3339   722     5433.0144     3814.3077  4151522   29.79%
   4149  2052     3814.3273   749     5433.0144     3814.3077  4199311   29.79%
   4188  2082     3814.3291   640     5433.0144     3814.3077  4201979   29.79%
Elapsed time = 5799.11 sec. (1505935.98 ticks, tree = 180.97 MB)
   4209  2058     3814.4207   712     5433.0144     3814.3077  4189627   29.79%
   4228  2060     3814.4173   666     5433.0144     3814.3077  4193006   29.79%
   4234  2074     3814.3540   824     5433.0144     3814.3077  4220704   29.79%
   4251  2086     3814.3413   930     5433.0144     3814.3077  4252955   29.79%
   4280  2096     3814.3499   734     5433.0144     3814.3077  4255800   29.79%
   4291  2101     3814.3538   660     5433.0144     3814.3077  4258555   29.79%
*  4313+ 2171                         5315.7952     3814.3077            28.25%
*  4313+ 2171                         5264.4389     3814.3077            27.55%
*  4313+ 2171                         5241.2836     3814.3077            27.23%
   4314  2174     3814.3545   810     5241.2836     3814.3077  4307212   27.23%
   4329  2134     3814.4613   751     5241.2836     3814.3077  4300715   27.23%
   4362  2229     3814.3418   708     5241.2836     3814.3077  4323620   27.23%
   4398  2146     3814.4505   742     5241.2836     3814.3077  4305783   27.23%
Elapsed time = 6000.98 sec. (1545106.42 ticks, tree = 190.71 MB)
   4416  2201     3814.3545   811     5241.2836     3814.3077  4319173   27.23%
   4435  2304     3814.4505   721     5241.2836     3814.3077  4372468   27.23%
   4473  2368     3814.3552   771     5241.2836     3814.3077  4421767   27.23%
   4483  2236     3814.3683  1018     5241.2836     3814.3077  4355589   27.23%
   4500  2309     3814.4237   614     5241.2836     3814.3077  4402021   27.23%
   4554  2391     3814.3908   825     5241.2836     3814.3077  4460226   27.23%
   4644  2357     3814.3482   606     5241.2836     3814.3077  4418824   27.23%
*  4668+ 2411                         5151.6104     3814.3077            25.96%
*  4668+ 2411                         5123.3200     3814.3077            25.55%
   4694  2404     3814.3446   466     5123.3200     3814.3077  4453307   25.55%
   4739  2533     3814.3598   734     5123.3200     3814.3077  4538677   25.55%
   4755  2539     3814.3507   713     5123.3200     3814.3077  4541638   25.55%
Elapsed time = 6181.30 sec. (1584475.20 ticks, tree = 253.62 MB)
   4790  2448     3814.3592   875     5123.3200     3814.3077  4478982   25.55%
   4805  2489     3814.4015   850     5123.3200     3814.3077  4529512   25.55%
   4824  2493     3814.4067   843     5123.3200     3814.3077  4532613   25.55%
   4853  2570     3814.3733   450     5123.3200     3814.3077  4569464   25.55%
   4872  2697     3814.4005   792     5123.3200     3814.3077  4631700   25.55%
   4891  2782     3814.3733   536     5123.3200     3814.3077  4668981   25.55%
   4971  2816     3814.4329   917     5123.3200     3814.3077  4717318   25.55%
   5020  2683     3814.3638   729     5123.3200     3814.3077  4607539   25.55%
   5052  2847     3814.3638   726     5123.3200     3814.3077  4733748   25.55%
*  5053+ 2834                         5028.9859     3814.3077            24.15%
*  5053+ 2834                         5007.5328     3814.3077            23.83%
   5070  2852     3814.3638   665     5007.5328     3814.3077  4736944   23.83%
Elapsed time = 6380.42 sec. (1624826.12 ticks, tree = 303.77 MB)
   5101  2964     3814.3759   808     5007.5328     3814.3077  4821420   23.83%
   5124  2924     3814.4605   879     5007.5328     3814.3077  4779805   23.83%
   5139  2935     3814.4634   774     5007.5328     3814.3077  4782675   23.83%
   5156  2974     3814.3641   752     5007.5328     3814.3077  4835850   23.83%
   5178  3070     3814.4076   729     5007.5328     3814.3077  4837555   23.83%
   5187  3064     3814.3825   815     5007.5328     3814.3077  4854309   23.83%
   5201  2983     3814.3641   713     5007.5328     3814.3077  4846069   23.83%
   5220  3088     3814.5312   820     5007.5328     3814.3077  4877055   23.83%
   5239  3082     3814.4055   774     5007.5328     3814.3077  4898908   23.83%
   5253  3105     3814.5323   846     5007.5328     3814.3077  4882648   23.83%
Elapsed time = 6593.94 sec. (1665829.48 ticks, tree = 348.00 MB)
   5263  3111     3814.5336   837     5007.5328     3814.3077  4885561   23.83%
   5277  3121     3814.5378   795     5007.5328     3814.3077  4888598   23.83%
   5297  3173     3814.5400   866     5007.5328     3814.3077  4951563   23.83%
   5323  3194     3814.4061   687     5007.5328     3814.3077  4991535   23.83%
*  5324+ 3214                         4900.9863     3814.3077            22.17%
*  5324+ 3214                         4891.8871     3814.3077            22.03%
Starting limited solution polishing.
   5341  3223     3814.4414   791     4891.8871     3814.3077  4995662   22.03%
   5360  3231     3814.3641   675     4891.8871     3814.3077  5019555   22.03%
   5384  3233     3814.3654   667     4891.8871     3814.3077  5022617   22.03%
   5406  3263     3814.4131   605     4891.8871     3814.3077  5064967   22.03%
   5414  3268     3814.4078   542     4891.8871     3814.3077  5081189   22.03%
   5425  3256     3814.5522   776     4891.8871     3814.3077  5044443   22.03%
Elapsed time = 6839.95 sec. (1709578.74 ticks, tree = 375.45 MB)
   5431  3248     3814.3641   689     4891.8871     3814.3077  5034908   22.03%
   5435  3273     3814.4111   629     4891.8871     3814.3077  5090017   22.03%
   5447  3249     3814.3867   993     4891.8871     3814.3077  5041639   22.03%
   5453  3299     3814.5522   798     4891.8871     3814.3077  5124463   22.03%
   5456  3301     3814.5522   805     4891.8871     3814.3077  5127243   22.03%
   5491  3332     3814.4078   527     4891.8871     3814.3077  5170919   22.03%
   5502  3345     3814.3768   869     4891.8871     3814.3077  5173294   22.03%
   5523  3353     3814.3878   856     4891.8871     3814.3077  5176001   22.03%
*  5525+ 3302                         4785.1864     3814.3077            20.29%
*  5525+ 3302                         4776.7172     3814.3077            20.15%
*  5525+ 3302                         4752.6925     3814.3077            19.74%
*  5526+ 3302                         4744.2519     3814.3077            19.60%
*  5528+ 3302                         4744.2170     3814.3077            19.60%
   5535  2890     3814.4364   877     4744.2170     3814.3077  4745731   19.60%
   5553  3364     3814.3883   761     4744.2170     3814.3077  5180903   19.60%
Elapsed time = 7039.83 sec. (1750796.16 ticks, tree = 392.54 MB)
   5579  3379     3814.3898   723     4744.2170     3814.3077  5183610   19.60%
   5624  3392     3814.3648   673     4744.2170     3814.3077  5221277   19.60%
   5660  3392     3814.4404   776     4744.2170     3814.3077  5199886   19.60%
   5669  3398     3814.4408   630     4744.2170     3814.3077  5205042   19.60%
   5678  3500     3814.4408   517     4744.2170     3814.3077  5267042   19.60%
   5692  3563     3814.4677   567     4744.2170     3814.3077  5306046   19.60%
   5735  3526     3814.3654   637     4744.2170     3814.3077  5301646   19.60%

Flow cuts applied:  40
Mixed integer rounding cuts applied:  2
Lift and project cuts applied:  1

Root node processing (before b&c):
  Real time             =   70.78 sec. (58484.30 ticks)
Parallel b&c, 8 threads:
  Real time             = 7129.49 sec. (1732944.03 ticks)
  Sync time (average)   =  550.67 sec.
  Wait time (average)   =    0.11 sec.
                          ------------
Total (root+branch&cut) = 7200.26 sec. (1791428.33 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 11008 rows and 74148 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 4744.216964
5364655 MIP simplex iterations
5741 branch-and-bound nodes
absmipgap = 929.909, relmipgap = 0.196009
COSTOS = 4744.22

NVS [*] :=
1  1
2  0.923186
3  0.982275
4  0.93586
5  0.991031
;

O [1,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     1    4    5    3    1    5    2
2     4    5    6    4    3    7    5
3     5    5    6    6   12    7    4
4     5    5    6    6   12   10    7
5     6    7   10    7   14   12    9
6     8    6    9    6   14   14   13
7     8    4    9   11   10   12    7
8    14    5   16    9    8    9    8
9     6    5   14   10    7    9   14
10   14    6   17   11    7   10   16
11   18    8    7   19    8   10   11
12    6    9    6   17    9    9   12
13   11    8    7    6   10    8    7
14    5   10    8   10    8    8    8
15    5    3    4    5    4    5    3

 [2,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    3    2    4    0    1    2
2     1    4    4    5    5    3    2
3    10    8    5    5    5    5    4
4     7    7    7   15    6   14    6
5     6    6    5    5    7   14    9
6     8    8    7    5   10    9    5
7     7    8    9    5   12    9    4
8     5   10    9    6   11   15    8
9    14    6    9    7    7   10    5
10    7    5   10    6    8   11    9
11    6    9   12   11   10    7   11
12   10    7   14    9   13    8   13
13    7   10   10    6   10    6    9
14    8    7    9    7   10    7    7
15    4    2    5    4    4    4    1

 [3,*,*] (tr)
:    1    2   3    4    5    6    7     :=
1     3   1    4    4    3    4    2
2     4   4    4    4    8    4    5
3     4   6    4    8    8    7    3
4     7   5    6    4    8    7    6
5    12   6    6    8    9    5   15
6     7   5    7   12   12    9   12
7    10   6   11    4   12    8   11
8    11   8    6   11    6    9   11
9     6   5    9    6    6   13   14
10    9   7   11    6    5   11   15
11    9   7    6    6    9    9   10
12    6   9    4    7    8    9   11
13    8   7    8    9    9    9    7
14    8   7    7    9    7    9    7
15    4   4    5    4    4    4    1

 [4,*,*] (tr)
:    1    2   3    4    5   6    7     :=
1     4   2    2    3   1    2    2
2     4   4    4    4   4    4    4
3     5   5    6    4   5    6    6
4     7   7    6    6   5    8    6
5     5   4    7    6   6    7    8
6     7   8    6    6   5    9    8
7     5   6    6    6   5    8   11
8     6   6    6    6   5    9    7
9    12   4    6    6   4    7   13
10    4   7    8   15   8   10   12
11    7   9    8    9   8   11   14
12   14   8   13    8   9    9   10
13    7   7    7   14   5    7    8
14    9   7    6   10   6    3    6
15    5   4    4    3   4    5    2

 [5,*,*] (tr)
:    1    2    3   4    5    6    7     :=
1     2    7   4    7    2    4    2
2     7    6   4   10    4    7    4
3     4    6   5   13    8    9    6
4     6    7   6    8   13   10    6
5     5    6   6    6   11    9   10
6    10    5   6    7    7    9   10
7     5    6   6    7    5   11   14
8    11    6   5    5    7    7    8
9     6    7   7    8    7    8   14
10   11    8   8    7    7   12   13
11   11   11   8    6    9   12   13
12   11    8   6    7    8    6   12
13   13    7   7    8    9    8    7
14   11    8   7    7    7    7    5
15    4    5   3    6    3    5    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   8    :=
1    5   2   9   5   1   1   0
2    1   1   0   0   1   0   0
4    0   1   2   2   4   0   0
7    7   3   1   2   1   0   0
12   1   2   4   3   3   0   0
13   6   1   5   3   1   0   0
14   2   0   0   0   2   0   0
17   0   0   0   2   0   0   0
18   2   0   0   0   1   0   0
19   4   1   4   3   0   0   0
22   0   1   1   1   1   3   2
25   3   7   5   0   4   0   0
;

:        PE  PF    :=
1 1 3     1   0
1 1 6     1   0
1 1 7     2   0
1 1 8     7   0
1 1 9     1   0
1 1 10    8   0
1 1 11   10   0
1 1 13    5   0
1 2 2     1   0
1 2 12    2   0
1 3 1     2   0
1 3 2     2   0
1 3 3     2   0
1 3 5     5   0
1 3 6     4   0
1 3 7     3   0
1 3 8    10   0
1 3 9     8   0
1 3 10    9   0
1 4 4     1   0
1 4 5     2   0
1 4 7     4   0
1 4 8     2   0
1 4 9     3   0
1 4 10    6   0
1 4 11    9   0
1 4 12   10   0
1 4 15    1   0
1 5 3     5   0
1 5 4     5   0
1 5 5     8   0
1 5 6     9   0
1 5 7     5   0
1 5 8     4   0
1 5 10    1   0
1 5 14    1   0
1 5 15    1   0
1 6 2     2   0
1 6 4     2   0
1 6 5     6   0
1 6 6     6   0
1 6 7     5   0
1 6 8     2   0
1 6 13    1   0
1 7 15    1   0
2 1 2     0   3
2 1 3     5   0
2 1 6     1   0
2 1 9     7   0
2 1 12    1   0
2 1 13    0   2
2 2 3     3   0
2 2 5     0   1
2 2 6     2   0
2 2 7     2   0
2 2 8     3   0
2 2 13    2   0
2 2 14    0   1
2 2 15    0   2
2 3 1     0   3
2 3 3     1   0
2 3 6     1   0
2 3 7     3   0
2 3 8     3   0
2 3 9     2   0
2 3 10    2   0
2 3 11    4   0
2 3 12    7   0
2 3 13    3   0
2 4 1     0   1
2 4 3     0   2
2 4 4     9   0
2 4 11    2   0
2 4 13    0   2
2 5 1     0   2
2 5 2     1   0
2 5 3     0   1
2 5 5     2   0
2 5 6     3   0
2 5 7     4   0
2 5 8     4   0
2 5 10    3   0
2 5 12    5   0
2 6 1     0   4
2 6 4     9   0
2 6 5     6   0
2 6 7     1   0
2 6 8     5   0
2 7 2     0   3
2 7 6     0   6
2 7 7     0   6
2 7 9     0   8
2 7 10    0   6
2 7 14    0   1
3 1 1     1   0
3 1 4     1   0
3 1 5     7   0
3 1 6     2   0
3 1 7     5   0
3 1 8     5   0
3 1 9     1   0
3 1 10    3   0
3 1 11    3   0
3 2 1     0   3
3 2 12    1   0
3 2 14    0   1
3 3 7     4   0
3 3 9     2   0
3 3 10    3   0
3 3 14    0   1
3 4 1     1   0
3 4 3     3   0
3 4 5     2   0
3 4 6     5   0
3 4 8     6   0
3 5 1     1   0
3 5 2     4   0
3 5 3     4   0
3 5 4     3   0
3 5 5     3   0
3 5 6     5   0
3 5 7     5   0
3 5 14    1   0
3 6 6     1   0
3 6 9     6   0
3 7 8     3   0
3 7 9     0   1
3 7 10    0   3
3 7 14    0   2
3 7 15    0   1
4 1 1     2   0
4 1 6     1   0
4 1 9     6   0
4 1 12    5   0
4 2 1     0   2
4 2 3     0   1
4 2 6     2   0
4 2 9     0   2
4 2 11    1   0
4 2 14    0   2
4 3 1     0   2
4 3 5     2   0
4 3 10    1   0
4 3 11    2   0
4 3 12    7   0
4 3 14    0   1
4 4 4     1   0
4 4 10    7   0
4 4 13    6   0
4 5 1     0   1
4 5 3     0   1
4 5 7     0   1
4 5 9     0   4
4 5 10    2   0
4 5 13    0   5
4 6 1     0   2
4 6 4     2   0
4 6 11    1   0
4 6 12    1   0
4 6 13    0   1
4 6 14    0   7
4 7 5     0   4
4 7 6     0   6
4 7 14    0   2
4 7 15    1   0
5 1 2     3   0
5 1 6     5   0
5 1 7     2   0
5 1 8     5   0
5 1 10    6   0
5 1 11    7   0
5 1 12    5   0
5 1 13    5   0
5 1 14    5   0
5 2 1     3   0
5 2 2     2   0
5 2 4     3   0
5 2 9     1   0
5 2 10    2   0
5 2 11    4   0
5 3 2     1   0
5 3 11    3   0
5 4 1     4   0
5 4 2     6   0
5 4 3     8   0
5 4 9     1   0
5 5 3     2   0
5 5 4     7   0
5 5 5     7   0
5 5 13    1   0
5 6 2     3   0
5 6 3     3   0
5 6 4     3   0
5 6 7     3   0
5 6 11    2   0
5 7 3     2   0
5 7 14    0   6
;

PO [*,1,1,*] (tr)
:    1   2   4    :=
1    1   0   0
2    4   0   0
3    5   0   0
4    5   0   0
5    5   0   1
6    5   0   3
7    5   0   3
8    7   1   6
9    6   0   0
10   6   1   7
11   9   2   7
12   6   0   0
13   6   0   5
14   4   0   1
15   0   0   5

 [*,1,2,*] (tr)
:    1   2   4    :=
1    3   0   1
2    5   0   0
3    5   0   0
4    5   0   0
5    5   2   0
6    5   0   1
7    3   1   0
8    1   0   4
9    1   0   4
10   1   0   5
11   6   0   2
12   6   0   3
13   6   0   2
14   6   0   4
15   0   0   3

 [*,1,3,*] (tr)
:    1    2   4    :=
1     5   0   0
2     6   0   0
3     6   0   0
4     6   0   0
5     9   1   0
6     9   0   0
7     9   0   0
8    10   2   4
9    11   0   3
10   10   1   6
11    2   0   5
12    4   1   1
13    4   0   3
14    4   0   4
15    3   0   1

 [*,1,4,*] (tr)
:    1    2   4    :=
1     3   0   0
2     4   0   0
3     6   0   0
4     6   0   0
5     6   1   0
6     6   0   0
7     7   0   4
8     8   1   0
9     6   2   2
10   11   0   0
11   11   1   7
12    9   1   7
13    6   0   0
14    6   0   4
15    5   0   0

 [*,1,5,*] (tr)
:    1    2   4    :=
1     1   0   0
2     3   0   0
3    12   0   0
4    12   0   0
5    12   0   2
6    14   0   0
7    10   0   0
8     8   0   0
9     7   0   0
10    7   0   0
11    8   0   0
12    8   1   0
13    8   1   1
14    8   0   0
15    2   0   2

 [*,1,6,*] (tr)
:    1    2   4    :=
1     5   0   0
2     7   0   0
3     7   0   0
4     8   2   0
5    12   0   0
6    14   0   0
7    10   1   1
8     8   1   0
9     7   0   2
10   10   0   0
11   10   0   0
12    9   0   0
13    8   0   0
14    8   0   0
15    5   0   0

 [*,1,7,*] (tr)
:    1    2   4    :=
1     2   0   0
2     2   1   2
3     2   2   0
4     3   2   2
5     9   0   0
6     9   2   2
7     7   0   0
8     7   1   0
9    13   1   0
10   16   0   0
11   11   0   0
12   10   0   2
13    7   0   0
14    7   1   0
15    3   0   0

 [*,2,1,*] (tr)
:    2   7  12  17  22    :=
1    1   0   1   0   0
2    1   0   0   0   0
3    1   0   3   0   6
4    1   0   0   1   5
5    0   0   0   0   6
6    0   1   6   1   0
7    1   1   0   0   5
8    0   1   4   0   0
9    1   2   6   0   5
10   0   3   4   0   0
11   0   4   0   0   2
12   2   5   1   0   2
13   2   5   0   0   0
14   2   5   0   0   1
15   0   3   0   0   1

 [*,2,2,*] (tr)
:    2   7  12  17  22    :=
1    0   3   0   0   0
2    0   3   0   0   1
3    1   3   3   0   1
4    1   3   2   0   1
5    0   0   6   0   0
6    2   1   2   0   3
7    0   1   5   0   2
8    1   2   0   0   7
9    0   4   0   0   2
10   0   4   0   0   1
11   0   8   1   0   0
12   0   7   0   0   0
13   0   7   0   2   1
14   0   7   0   0   0
15   0   1   1   0   0

 [*,2,3,*] (tr)
:    2   7  12  22    :=
1    0   2   0   0
2    0   4   0   0
3    0   4   0   1
4    1   5   0   1
5    0   3   0   2
6    2   3   0   2
7    2   3   0   4
8    0   3   2   4
9    2   3   3   1
10   0   3   6   1
11   1   5   6   0
12   0   6   4   4
13   1   6   0   3
14   1   5   0   3
15   1   3   1   0

 [*,2,4,*] (tr)
:    2   7  12  17  22    :=
1    0   4   0   0   0
2    0   5   0   0   0
3    0   5   0   0   0
4    0   5   4   0   6
5    0   4   0   0   1
6    2   3   0   0   0
7    2   1   0   2   0
8    1   1   0   2   2
9    0   1   5   1   0
10   1   1   1   0   3
11   0   1   5   2   3
12   0   1   6   0   2
13   0   0   5   0   1
14   0   0   5   0   2
15   0   0   4   0   0

 [*,2,5,*] (tr)
:    2   7  12  17  22    :=
2    0   4   0   0   1
3    0   4   0   0   1
4    0   5   0   1   0
5    0   7   0   0   0
6    0   5   0   0   5
7    0   5   0   0   7
8    0   5   0   1   5
9    0   5   0   1   1
10   0   3   5   0   0
11   1   3   4   1   1
12   0   4   8   0   1
13   0   4   6   0   0
14   1   4   4   0   1
15   0   2   0   0   2

 [*,2,6,*] (tr)
:    2   7  12  17  22    :=
1    1   0   0   0   0
2    2   1   0   0   0
3    2   3   0   0   0
4    0   7   4   0   3
5    2   8   4   0   0
6    1   8   0   0   0
7    0   8   1   0   0
8    0   4   7   0   4
9    0   4   3   0   3
10   0   3   2   2   4
11   0   2   3   0   2
12   0   2   4   0   2
13   0   2   4   0   0
14   0   2   5   0   0
15   0   0   4   0   0

 [*,2,7,*] (tr)
:    2   7   12  17  22    :=
1    0    2   0   0   0
2    0    2   0   0   0
3    0    2   2   0   0
4    0    4   2   0   0
5    2    5   0   2   0
6    0    5   0   0   0
7    1    3   0   0   0
8    0    1   1   0   6
9    0    3   1   0   1
10   0    4   0   0   5
11   1   10   0   0   0
12   1   10   1   0   1
13   1    7   0   0   1
14   0    7   0   0   0
15   0    1   0   0   0

 [*,3,1,*] (tr)
:   12  13  14  18    :=
1    3   0   0   0
2    4   0   0   0
3    1   3   0   0
4    4   3   0   0
5    4   7   0   1
6    0   7   0   0
7    2   7   0   1
8    1   8   0   2
9    0   6   0   0
10   0   7   0   2
11   4   3   0   2
12   3   3   0   0
13   3   3   2   0
14   3   2   2   1
15   3   1   0   0

 [*,3,2,*] (tr)
:   12  13  14  18    :=
1    0   0   0   1
2    4   0   0   0
3    4   0   2   0
4    5   0   0   0
5    1   0   2   3
6    5   0   0   0
7    2   3   0   1
8    3   4   0   1
9    0   4   1   0
10   0   7   0   0
11   1   6   0   0
12   3   6   0   0
13   3   4   0   0
14   3   4   0   0
15   0   4   0   0

 [*,3,3,*] (tr)
:   12  13  14  18    :=
1    4   0   0   0
2    4   0   0   0
3    4   0   0   0
4    4   2   0   0
5    4   2   0   0
6    4   3   0   0
7    0   8   2   1
8    0   6   0   0
9    0   6   2   1
10   0   9   2   0
11   0   4   1   1
12   0   4   0   0
13   3   4   0   1
14   3   3   0   1
15   2   3   0   0

 [*,3,4,*] (tr)
:   12  13  14  18    :=
1    4   0   0   0
2    4   0   0   0
3    4   4   0   0
4    0   4   0   0
5    4   4   0   0
6    4   4   4   0
7    0   3   1   0
8    3   4   3   1
9    0   1   4   1
10   5   1   0   0
11   1   4   0   1
12   0   7   0   0
13   1   7   0   1
14   1   7   0   1
15   0   4   0   0

 [*,3,5,*] (tr)
:   12  13  18    :=
1    0   3   0
2    0   8   0
3    0   8   0
4    0   8   0
5    0   9   0
6    0   9   3
7    3   6   3
8    5   1   0
9    5   1   0
10   3   1   1
11   4   5   0
12   0   8   0
13   2   7   0
14   0   7   0
15   1   3   0

 [*,3,6,*] (tr)
:   12  13  14  18    :=
1    0   4   0   0
2    0   4   0   0
3    0   7   0   0
4    0   7   0   0
5    0   5   0   0
6    4   5   0   0
7    3   5   0   0
8    1   6   1   1
9    7   3   3   0
10   5   5   0   1
11   4   5   0   0
12   4   5   0   0
13   4   5   0   0
14   3   4   2   0
15   2   2   0   0

 [*,3,7,*] (tr)
:   12   13  14    :=
1    2    0   0
2    2    3   0
3    0    3   0
4    0    6   0
5    4   11   0
6    4    8   0
7    3    8   0
8    3    8   0
9    6    8   0
10   7    6   2
11   7    3   0
12   5    4   2
13   2    4   1
14   2    3   2
15   0    1   0

 [*,4,1,*] (tr)
:    4  14  17  18  19    :=
1    0   0   2   0   2
2    0   0   2   0   2
3    1   0   2   0   2
4    1   0   1   0   5
5    0   0   2   0   3
6    0   0   1   1   5
7    0   0   0   0   5
8    1   0   0   0   5
9    6   0   0   1   5
10   0   0   0   0   4
11   0   2   0   0   5
12   5   2   0   2   5
13   0   0   0   2   5
14   4   0   0   0   5
15   0   0   0   1   4

 [*,4,2,*] (tr)
:    4  14  17  18  19    :=
1    0   0   0   0   2
2    1   0   0   1   2
3    2   0   0   1   2
4    2   2   0   1   2
5    2   0   0   0   2
6    1   2   0   3   2
7    0   2   0   2   2
8    0   2   0   2   2
9    1   1   2   0   0
10   0   2   2   0   3
11   3   0   2   0   4
12   2   0   2   0   4
13   3   0   0   0   4
14   1   0   2   0   4
15   1   0   0   0   3

 [*,4,3,*] (tr)
:    4  14  18  19    :=
1    1   0   0   1
2    1   2   0   1
3    1   2   2   1
4    1   2   2   1
5    0   4   2   1
6    1   2   2   1
7    5   0   0   1
8    2   2   1   1
9    3   0   0   3
10   0   0   1   7
11   1   1   0   6
12   4   2   1   6
13   1   0   0   6
14   0   0   0   6
15   0   0   0   4

 [*,4,4,*] (tr)
:    4  14  17  18  19    :=
1    0   0   0   0   3
2    0   0   0   0   4
3    0   0   0   0   4
4    0   2   0   0   4
5    0   2   0   0   4
6    0   0   2   0   4
7    0   3   0   1   2
8    4   1   0   0   1
9    4   0   1   0   1
10   6   2   2   1   4
11   0   2   0   0   7
12   0   0   0   1   7
13   7   0   0   0   7
14   3   0   0   0   7
15   0   0   0   0   3

 [*,4,5,*] (tr)
:    4  17  18  19    :=
1    1   0   0   0
2    3   0   0   1
3    3   1   0   1
4    3   0   0   2
5    0   1   3   2
6    2   2   0   1
7    2   2   0   1
8    0   1   3   1
9    0   0   1   3
10   2   1   0   5
11   2   0   1   5
12   2   0   1   6
13   1   0   0   4
14   2   0   0   4
15   0   0   0   4

 [*,4,6,*] (tr)
:    4  14  17  18  19    :=
1    0   0   0   1   1
2    2   0   0   1   1
3    3   0   0   1   2
4    5   0   0   1   2
5    5   0   0   0   2
6    5   0   2   0   2
7    3   0   2   1   2
8    2   1   2   0   4
9    0   1   2   1   3
10   0   4   0   0   6
11   0   4   2   0   5
12   0   4   0   0   5
13   0   2   0   0   5
14   0   0   0   0   3
15   0   2   0   0   3

 [*,4,7,*] (tr)
:    4  14  17  19    :=
1    0   2   0   0
2    0   2   2   0
3    2   2   2   0
4    0   2   2   2
5    6   0   0   2
6    4   0   2   2
7    6   0   2   3
8    4   2   0   1
9    7   2   0   4
10   7   0   0   5
11   7   2   0   5
12   5   0   0   5
13   2   1   0   5
14   2   0   0   4
15   0   2   0   0

 [*,5,1,*] (tr)
:   22   25    :=
1    2    0
2    3    4
3    0    4
4    1    5
5    0    5
6    5    5
7    0    5
8    6    5
9    1    5
10   7    4
11   0   11
12   0   11
13   2   11
14   0   11
15   0    4

 [*,5,2,*] (tr)
:   22  25    :=
1    1   6
2    0   6
3    0   6
4    0   7
5    1   5
6    0   5
7    1   5
8    0   6
9    5   2
10   6   2
11   7   4
12   6   2
13   5   2
14   6   2
15   5   0

 [*,5,3,*] (tr)
:   22  25    :=
1    0   4
2    0   4
3    0   5
4    0   6
5    0   6
6    0   6
7    0   6
8    0   5
9    3   4
10   4   4
11   4   4
12   0   6
13   1   6
14   1   6
15   1   2

 [*,5,4,*] (tr)
:   22  25    :=
1    0   7
2    3   7
3    6   7
4    0   8
5    5   1
6    6   1
7    6   1
8    4   1
9    7   1
10   3   4
11   1   5
12   0   7
13   1   7
14   0   7
15   0   6

 [*,5,5,*] (tr)
:   22  25    :=
1    0   2
2    0   4
3    0   8
4    4   9
5    4   7
6    2   5
7    0   5
8    1   6
9    5   2
10   6   1
11   6   3
12   3   5
13   4   5
14   2   5
15   0   3

 [*,5,6,*] (tr)
:   22   25    :=
1    0    4
2    3    4
3    3    6
4    0   10
5    3    6
6    3    6
7    4    7
8    0    7
9    1    7
10   0   12
11   2   10
12   0    6
13   2    6
14   1    6
15   0    5

 [*,5,7,*] (tr)
:   22   25    :=
1    0    2
2    1    3
3    3    3
4    3    3
5    5    5
6    6    4
7    7    7
8    1    7
9    6    8
10   2   11
11   5    8
12   4    8
13   4    3
14   5    0
15   2    0
;

R [1,1,1,*,*]
:   18    :=
5    3
35   2

 [1,1,2,*,*]
:   18    :=
35   5

 [1,1,3,*,*]
:   18    :=
1    5

 [1,1,4,*,*]
 [1,1,5,*,*]
:   18    :=
9    4
35   1

 [1,1,6,*,*]
:   18    :=
17   4
31   1

 [1,1,7,*,*]
 [1,2,1,*,*]
:   16    :=
1    1

 [1,2,2,*,*]
:   16    :=
17   1

 [1,2,3,*,*]
:   16    :=
36   1

 [1,2,4,*,*]
 [1,2,5,*,*]
 [1,2,6,*,*]
:   16    :=
5    1

 [1,2,7,*,*]
:   16    :=
9    1

 [1,4,1,*,*]
 [1,4,2,*,*]
 [1,4,3,*,*]
 [1,4,4,*,*]
 [1,4,5,*,*]
 [1,4,6,*,*]
 [1,4,7,*,*]
 [1,7,1,*,*]
 [1,7,2,*,*]
:    3    :=
1    3
35   4

 [1,7,3,*,*]
:    3    :=
1    2
35   2
36   3

 [1,7,4,*,*]
 [1,7,5,*,*]
:    3    :=
5    4
35   2
36   1

 [1,7,6,*,*]
:    3    :=
9    2
13   1
25   2
35   2

 [1,7,7,*,*]
:    3    :=
31   2
35   5

 [1,9,1,*,*]
 [1,9,2,*,*]
 [1,9,3,*,*]
 [1,9,4,*,*]
 [1,9,5,*,*]
 [1,9,6,*,*]
 [1,9,7,*,*]
 [1,12,1,*,*]
:   16    :=
31   1

 [1,12,2,*,*]
:   16    :=
36   1

 [1,12,3,*,*]
:   16    :=
31   1

 [1,12,4,*,*]
 [1,12,5,*,*]
 [1,12,6,*,*]
:   16    :=
28   1

 [1,12,7,*,*]
:   16    :=
28   1

 [1,13,1,*,*]
 [1,13,2,*,*]
 [1,13,3,*,*]
:    1    :=
13   2
25   4

 [1,13,4,*,*]
:    1    :=
35   3
36   3

 [1,13,5,*,*]
:    1    :=
35   3
36   3

 [1,13,6,*,*]
:    1    :=
1    4
17   2

 [1,13,7,*,*]
:    1    :=
5    3
35   2
36   1

 [1,14,1,*,*]
:    9    :=
35   2

 [1,14,2,*,*]
 [1,14,3,*,*]
:    9    :=
5    2

 [1,14,4,*,*]
:    9    :=
21   2

 [1,14,5,*,*]
 [1,14,6,*,*]
:    9    :=
31   2

 [1,14,7,*,*]
:    9    :=
1    2

 [1,17,1,*,*]
 [1,17,2,*,*]
 [1,17,3,*,*]
 [1,17,4,*,*]
 [1,17,5,*,*]
 [1,17,6,*,*]
 [1,17,7,*,*]
 [1,18,1,*,*]
:   18    :=
17   1
33   1

 [1,18,2,*,*]
:   18    :=
17   2

 [1,18,3,*,*]
:   18    :=
9    2

 [1,18,4,*,*]
 [1,18,5,*,*]
:   18    :=
17   2

 [1,18,6,*,*]
:   18    :=
1    1
25   1

 [1,18,7,*,*]
 [1,19,1,*,*]
:   14    :=
1    2
36   2

 [1,19,2,*,*]
:   14    :=
1    2
17   2

 [1,19,3,*,*]
 [1,19,4,*,*]
:   14    :=
35   4

 [1,19,5,*,*]
:   14    :=
5    1
31   2
36   1

 [1,19,6,*,*]
 [1,19,7,*,*]
:   14    :=
13   2
33   1
35   1

 [1,22,1,*,*]
 [1,22,2,*,*]
 [1,22,3,*,*]
 [1,22,4,*,*]
 [1,22,5,*,*]
 [1,22,6,*,*]
 [1,22,7,*,*]
 [1,25,1,*,*]
 [1,25,2,*,*]
 [1,25,3,*,*]
:    1    :=
13   1
36   2

 [1,25,4,*,*]
:    1    :=
35   1
36   2

 [1,25,5,*,*]
:    1    :=
36   3

 [1,25,6,*,*]
:    1    :=
9    2
35   1

 [1,25,7,*,*]
:    1    :=
33   3

 [2,1,1,*,*]
:   27    :=
35   2

 [2,1,2,*,*]
 [2,1,3,*,*]
:   27    :=
36   2

 [2,1,4,*,*]
:   27    :=
28   2

 [2,1,5,*,*]
:   27    :=
36   2

 [2,1,6,*,*]
:   27    :=
21   2

 [2,1,7,*,*]
:   27    :=
31   2

 [2,2,1,*,*]
:   23    :=
35   1

 [2,2,2,*,*]
:   23    :=
9    1

 [2,2,3,*,*]
:   23    :=
21   1

 [2,2,4,*,*]
:   23    :=
21   1

 [2,2,5,*,*]
:   23    :=
35   1

 [2,2,6,*,*]
 [2,2,7,*,*]
:   23    :=
35   1

 [2,4,1,*,*]
 [2,4,2,*,*]
:   28    :=
9    1

 [2,4,3,*,*]
:   28    :=
1    1

 [2,4,4,*,*]
:   28    :=
35   1

 [2,4,5,*,*]
:   28    :=
1    1

 [2,4,6,*,*]
:   28    :=
9    1

 [2,4,7,*,*]
:   28    :=
31   1

 [2,7,1,*,*]
:   27    :=
35   1
36   2

 [2,7,2,*,*]
 [2,7,3,*,*]
:   27    :=
13   1
28   2

 [2,7,4,*,*]
:   27    :=
1    2
5    1

 [2,7,5,*,*]
:   27    :=
13   1
21   2

 [2,7,6,*,*]
:   27    :=
13   3

 [2,7,7,*,*]
:   27    :=
13   2
35   1

 [2,9,1,*,*]
 [2,9,2,*,*]
 [2,9,3,*,*]
 [2,9,4,*,*]
 [2,9,5,*,*]
 [2,9,6,*,*]
 [2,9,7,*,*]
 [2,12,1,*,*]
:   25    :=
21   2

 [2,12,2,*,*]
:   25    :=
35   2

 [2,12,3,*,*]
:   25    :=
28   2

 [2,12,4,*,*]
 [2,12,5,*,*]
:   25    :=
33   2

 [2,12,6,*,*]
:   25    :=
36   2

 [2,12,7,*,*]
:   25    :=
31   2

 [2,13,1,*,*]
:   23    :=
33   1

 [2,13,2,*,*]
:   23    :=
25   1

 [2,13,3,*,*]
:   23    :=
25   1

 [2,13,4,*,*]
:   23    :=
9    1

 [2,13,5,*,*]
:   23    :=
35   1

 [2,13,6,*,*]
 [2,13,7,*,*]
:   23    :=
33   1

 [2,14,1,*,*]
 [2,14,2,*,*]
 [2,14,3,*,*]
 [2,14,4,*,*]
 [2,14,5,*,*]
 [2,14,6,*,*]
 [2,14,7,*,*]
 [2,17,1,*,*]
 [2,17,2,*,*]
 [2,17,3,*,*]
 [2,17,4,*,*]
 [2,17,5,*,*]
 [2,17,6,*,*]
 [2,17,7,*,*]
 [2,18,1,*,*]
 [2,18,2,*,*]
 [2,18,3,*,*]
 [2,18,4,*,*]
 [2,18,5,*,*]
 [2,18,6,*,*]
 [2,18,7,*,*]
 [2,19,1,*,*]
:   24    :=
35   1

 [2,19,2,*,*]
:   24    :=
35   1

 [2,19,3,*,*]
:   24    :=
25   1

 [2,19,4,*,*]
:   24    :=
25   1

 [2,19,5,*,*]
 [2,19,6,*,*]
:   24    :=
25   1

 [2,19,7,*,*]
:   24    :=
25   1

 [2,22,1,*,*]
:   23    :=
5    1

 [2,22,2,*,*]
:   23    :=
28   1

 [2,22,3,*,*]
:   23    :=
9    1

 [2,22,4,*,*]
:   23    :=
35   1

 [2,22,5,*,*]
:   23    :=
35   1

 [2,22,6,*,*]
 [2,22,7,*,*]
:   23    :=
36   1

 [2,25,1,*,*]
:   26    :=
35   7

 [2,25,2,*,*]
:   26    :=
1    2
13   1
28   2
35   2

 [2,25,3,*,*]
 [2,25,4,*,*]
:   26    :=
1    7

 [2,25,5,*,*]
:   26    :=
1    2
5    2
28   1
35   2

 [2,25,6,*,*]
:   26    :=
1    4
25   3

 [2,25,7,*,*]
:   26    :=
5    1
25   3
31   3

 [3,1,1,*,*]
 [3,1,2,*,*]
 [3,1,3,*,*]
:    1    :=
18   8
32   1

 [3,1,4,*,*]
:    1    :=
2    3
6    1
34   5

 [3,1,5,*,*]
:    1    :=
6    2
10   5
22   2

 [3,1,6,*,*]
:    1    :=
2    4
6    2
32   3

 [3,1,7,*,*]
:    1    :=
18   5
32   4

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,4,1,*,*]
:    7    :=
22   2

 [3,4,2,*,*]
 [3,4,3,*,*]
 [3,4,4,*,*]
:    7    :=
32   2

 [3,4,5,*,*]
:    7    :=
6    2

 [3,4,6,*,*]
:    7    :=
14   2

 [3,4,7,*,*]
:    7    :=
6    2

 [3,7,1,*,*]
:   16    :=
32   1

 [3,7,2,*,*]
:   16    :=
22   1

 [3,7,3,*,*]
:   16    :=
29   1

 [3,7,4,*,*]
 [3,7,5,*,*]
 [3,7,6,*,*]
:   16    :=
18   1

 [3,7,7,*,*]
:   16    :=
34   1

 [3,9,1,*,*]
 [3,9,2,*,*]
 [3,9,3,*,*]
 [3,9,4,*,*]
 [3,9,5,*,*]
 [3,9,6,*,*]
 [3,9,7,*,*]
 [3,12,1,*,*]
:   20    :=
2    4

 [3,12,2,*,*]
:   20    :=
6    4

 [3,12,3,*,*]
:   20    :=
2    4

 [3,12,4,*,*]
:   20    :=
2    4

 [3,12,5,*,*]
 [3,12,6,*,*]
:   20    :=
14   4

 [3,12,7,*,*]
 [3,13,1,*,*]
:   12    :=
18   4
32   1

 [3,13,2,*,*]
:   12    :=
26   2
34   3

 [3,13,3,*,*]
 [3,13,4,*,*]
 [3,13,5,*,*]
:   12    :=
6    5

 [3,13,6,*,*]
:   12    :=
10   3
34   2

 [3,13,7,*,*]
:   12    :=
18   5

 [3,14,1,*,*]
 [3,14,2,*,*]
 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
 [3,14,6,*,*]
 [3,14,7,*,*]
 [3,17,1,*,*]
 [3,17,2,*,*]
 [3,17,3,*,*]
 [3,17,4,*,*]
 [3,17,5,*,*]
 [3,17,6,*,*]
 [3,17,7,*,*]
 [3,18,1,*,*]
 [3,18,2,*,*]
 [3,18,3,*,*]
 [3,18,4,*,*]
 [3,18,5,*,*]
 [3,18,6,*,*]
 [3,18,7,*,*]
 [3,19,1,*,*]
:   11    :=
22   2
34   2

 [3,19,2,*,*]
 [3,19,3,*,*]
:   11    :=
2    1
32   2
34   1

 [3,19,4,*,*]
:   11    :=
2    3
6    1

 [3,19,5,*,*]
:   11    :=
14   1
34   3

 [3,19,6,*,*]
:   11    :=
10   1
34   3

 [3,19,7,*,*]
 [3,22,1,*,*]
:   16    :=
29   1

 [3,22,2,*,*]
:   16    :=
32   1

 [3,22,3,*,*]
:   16    :=
34   1

 [3,22,4,*,*]
 [3,22,5,*,*]
 [3,22,6,*,*]
:   16    :=
6    1

 [3,22,7,*,*]
:   16    :=
34   1

 [3,25,1,*,*]
:   11    :=
14   1
34   4

 [3,25,2,*,*]
 [3,25,3,*,*]
:   11    :=
10   1
32   4

 [3,25,4,*,*]
:   11    :=
14   1
34   4

 [3,25,5,*,*]
:   11    :=
10   4
14   1

 [3,25,6,*,*]
:   11    :=
34   5

 [3,25,7,*,*]
 [4,1,1,*,*]
:   26    :=
22   3
29   2

 [4,1,2,*,*]
:   26    :=
2    3
6    2

 [4,1,3,*,*]
 [4,1,4,*,*]
:   26    :=
10   2
26   3

 [4,1,5,*,*]
:   26    :=
2    1
32   4

 [4,1,6,*,*]
:   26    :=
34   5

 [4,1,7,*,*]
:   26    :=
2    2
34   3

 [4,2,1,*,*]
 [4,2,2,*,*]
 [4,2,3,*,*]
 [4,2,4,*,*]
 [4,2,5,*,*]
 [4,2,6,*,*]
 [4,2,7,*,*]
 [4,4,1,*,*]
:   25    :=
10   1
34   1

 [4,4,2,*,*]
:   25    :=
2    1
32   1

 [4,4,3,*,*]
:   25    :=
22   1
26   1

 [4,4,4,*,*]
 [4,4,5,*,*]
:   25    :=
34   2

 [4,4,6,*,*]
:   25    :=
6    2

 [4,4,7,*,*]
:   25    :=
32   2

 [4,7,1,*,*]
:   23    :=
22   1
34   1

 [4,7,2,*,*]
:   23    :=
32   2

 [4,7,3,*,*]
:   23    :=
6    2

 [4,7,4,*,*]
:   23    :=
2    2

 [4,7,5,*,*]
:   23    :=
18   2

 [4,7,6,*,*]
 [4,7,7,*,*]
:   23    :=
2    2

 [4,9,1,*,*]
 [4,9,2,*,*]
 [4,9,3,*,*]
 [4,9,4,*,*]
 [4,9,5,*,*]
 [4,9,6,*,*]
 [4,9,7,*,*]
 [4,12,1,*,*]
 [4,12,2,*,*]
:   28    :=
10   3

 [4,12,3,*,*]
:   28    :=
34   3

 [4,12,4,*,*]
:   28    :=
32   2
34   1

 [4,12,5,*,*]
:   28    :=
29   2
34   1

 [4,12,6,*,*]
:   28    :=
32   2
34   1

 [4,12,7,*,*]
:   28    :=
2    1
32   2

 [4,13,1,*,*]
:   27    :=
10   3

 [4,13,2,*,*]
 [4,13,3,*,*]
:   27    :=
34   3

 [4,13,4,*,*]
:   27    :=
10   3

 [4,13,5,*,*]
:   27    :=
2    3

 [4,13,6,*,*]
:   27    :=
29   1
32   2

 [4,13,7,*,*]
:   27    :=
14   3

 [4,14,1,*,*]
 [4,14,2,*,*]
 [4,14,3,*,*]
 [4,14,4,*,*]
 [4,14,5,*,*]
 [4,14,6,*,*]
 [4,14,7,*,*]
 [4,17,1,*,*]
:   26    :=
2    2

 [4,17,2,*,*]
:   26    :=
32   2

 [4,17,3,*,*]
 [4,17,4,*,*]
:   26    :=
22   2

 [4,17,5,*,*]
:   26    :=
10   1
22   1

 [4,17,6,*,*]
:   26    :=
22   2

 [4,17,7,*,*]
:   26    :=
6    2

 [4,18,1,*,*]
 [4,18,2,*,*]
 [4,18,3,*,*]
 [4,18,4,*,*]
 [4,18,5,*,*]
 [4,18,6,*,*]
 [4,18,7,*,*]
 [4,19,1,*,*]
:   24    :=
14   3

 [4,19,2,*,*]
:   24    :=
34   3

 [4,19,3,*,*]
:   24    :=
34   3

 [4,19,4,*,*]
:   24    :=
34   3

 [4,19,5,*,*]
 [4,19,6,*,*]
:   24    :=
2    1
29   2

 [4,19,7,*,*]
:   24    :=
32   3

 [4,22,1,*,*]
:   27    :=
34   1

 [4,22,2,*,*]
 [4,22,3,*,*]
:   27    :=
18   1

 [4,22,4,*,*]
:   27    :=
32   1

 [4,22,5,*,*]
:   27    :=
6    1

 [4,22,6,*,*]
:   27    :=
29   1

 [4,22,7,*,*]
:   27    :=
22   1

 [4,25,1,*,*]
 [4,25,2,*,*]
 [4,25,3,*,*]
 [4,25,4,*,*]
 [4,25,5,*,*]
 [4,25,6,*,*]
 [4,25,7,*,*]
 [5,1,1,*,*]
:    9    :=
11   1

 [5,1,2,*,*]
 [5,1,3,*,*]
:    9    :=
30   1

 [5,1,4,*,*]
:    9    :=
27   1

 [5,1,5,*,*]
 [5,1,6,*,*]
:    9    :=
3    1

 [5,1,7,*,*]
:    9    :=
19   1

 [5,2,1,*,*]
:    9    :=
27   1

 [5,2,2,*,*]
 [5,2,3,*,*]
:    9    :=
15   1

 [5,2,4,*,*]
:    9    :=
19   1

 [5,2,5,*,*]
 [5,2,6,*,*]
:    9    :=
3    1

 [5,2,7,*,*]
:    9    :=
7    1

 [5,4,1,*,*]
:   19    :=
30   4

 [5,4,2,*,*]
:   19    :=
30   4

 [5,4,3,*,*]
:   19    :=
27   3
30   1

 [5,4,4,*,*]
:   19    :=
27   4

 [5,4,5,*,*]
 [5,4,6,*,*]
 [5,4,7,*,*]
:   19    :=
19   4

 [5,7,1,*,*]
 [5,7,2,*,*]
:    2    :=
30   1

 [5,7,3,*,*]
 [5,7,4,*,*]
:    2    :=
19   1

 [5,7,5,*,*]
:    2    :=
30   1

 [5,7,6,*,*]
:    2    :=
7    1

 [5,7,7,*,*]
:    2    :=
19   1

 [5,9,1,*,*]
 [5,9,2,*,*]
 [5,9,3,*,*]
 [5,9,4,*,*]
 [5,9,5,*,*]
 [5,9,6,*,*]
 [5,9,7,*,*]
 [5,12,1,*,*]
:    7    :=
30   3

 [5,12,2,*,*]
 [5,12,3,*,*]
 [5,12,4,*,*]
:    7    :=
30   3

 [5,12,5,*,*]
:    7    :=
27   3

 [5,12,6,*,*]
:    7    :=
30   3

 [5,12,7,*,*]
:    7    :=
3    1
19   2

 [5,13,1,*,*]
:   21    :=
30   1

 [5,13,2,*,*]
:   21    :=
30   1

 [5,13,3,*,*]
:   21    :=
23   1

 [5,13,4,*,*]
:   21    :=
30   1

 [5,13,5,*,*]
:   21    :=
19   1

 [5,13,6,*,*]
 [5,13,7,*,*]
 [5,14,1,*,*]
 [5,14,2,*,*]
:    4    :=
11   2

 [5,14,3,*,*]
:    4    :=
19   2

 [5,14,4,*,*]
:    4    :=
15   2

 [5,14,5,*,*]
 [5,14,6,*,*]
:    4    :=
30   2

 [5,14,7,*,*]
:    4    :=
30   2

 [5,17,1,*,*]
 [5,17,2,*,*]
 [5,17,3,*,*]
 [5,17,4,*,*]
 [5,17,5,*,*]
 [5,17,6,*,*]
 [5,17,7,*,*]
 [5,18,1,*,*]
:   21    :=
30   1

 [5,18,2,*,*]
:   21    :=
3    1

 [5,18,3,*,*]
:   21    :=
27   1

 [5,18,4,*,*]
:   21    :=
27   1

 [5,18,5,*,*]
:   21    :=
19   1

 [5,18,6,*,*]
 [5,18,7,*,*]
 [5,19,1,*,*]
 [5,19,2,*,*]
 [5,19,3,*,*]
 [5,19,4,*,*]
 [5,19,5,*,*]
 [5,19,6,*,*]
 [5,19,7,*,*]
 [5,22,1,*,*]
 [5,22,2,*,*]
:    2    :=
3    1

 [5,22,3,*,*]
 [5,22,4,*,*]
:    2    :=
7    1

 [5,22,5,*,*]
:    2    :=
23   1

 [5,22,6,*,*]
:    2    :=
27   1

 [5,22,7,*,*]
:    2    :=
27   1

 [5,25,1,*,*]
:   16    :=
7    4

 [5,25,2,*,*]
:   16    :=
3    4

 [5,25,3,*,*]
:   16    :=
3    4

 [5,25,4,*,*]
 [5,25,5,*,*]
 [5,25,6,*,*]
:   16    :=
15   4

 [5,25,7,*,*]
:   16    :=
3    2
19   2

 [6,1,1,*,*]
:   25    :=
3    1

 [6,1,2,*,*]
:   25    :=
27   1

 [6,1,3,*,*]
:   25    :=
7    1

 [6,1,4,*,*]
 [6,1,5,*,*]
:   25    :=
27   1

 [6,1,6,*,*]
:   25    :=
15   1

 [6,1,7,*,*]
:   25    :=
15   1

 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,9,1,*,*]
 [6,9,2,*,*]
 [6,9,3,*,*]
 [6,9,4,*,*]
 [6,9,5,*,*]
 [6,9,6,*,*]
 [6,9,7,*,*]
 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,13,1,*,*]
 [6,13,2,*,*]
 [6,13,3,*,*]
 [6,13,4,*,*]
 [6,13,5,*,*]
 [6,13,6,*,*]
 [6,13,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,17,1,*,*]
 [6,17,2,*,*]
 [6,17,3,*,*]
 [6,17,4,*,*]
 [6,17,5,*,*]
 [6,17,6,*,*]
 [6,17,7,*,*]
 [6,18,1,*,*]
 [6,18,2,*,*]
 [6,18,3,*,*]
 [6,18,4,*,*]
 [6,18,5,*,*]
 [6,18,6,*,*]
 [6,18,7,*,*]
 [6,19,1,*,*]
 [6,19,2,*,*]
 [6,19,3,*,*]
 [6,19,4,*,*]
 [6,19,5,*,*]
 [6,19,6,*,*]
 [6,19,7,*,*]
 [6,22,1,*,*]
:   23    :=
11   3

 [6,22,2,*,*]
:   23    :=
30   3

 [6,22,3,*,*]
:   23    :=
27   3

 [6,22,4,*,*]
:   23    :=
11   3

 [6,22,5,*,*]
:   23    :=
15   3

 [6,22,6,*,*]
 [6,22,7,*,*]
:   23    :=
7    1
11   2

 [6,25,1,*,*]
 [6,25,2,*,*]
 [6,25,3,*,*]
 [6,25,4,*,*]
 [6,25,5,*,*]
 [6,25,6,*,*]
 [6,25,7,*,*]
 [7,1,1,*,*]
 [7,1,2,*,*]
 [7,1,3,*,*]
 [7,1,4,*,*]
 [7,1,5,*,*]
 [7,1,6,*,*]
 [7,1,7,*,*]
 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,9,1,*,*]
 [7,9,2,*,*]
 [7,9,3,*,*]
 [7,9,4,*,*]
 [7,9,5,*,*]
 [7,9,6,*,*]
 [7,9,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,13,1,*,*]
 [7,13,2,*,*]
 [7,13,3,*,*]
 [7,13,4,*,*]
 [7,13,5,*,*]
 [7,13,6,*,*]
 [7,13,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,17,1,*,*]
 [7,17,2,*,*]
 [7,17,3,*,*]
 [7,17,4,*,*]
 [7,17,5,*,*]
 [7,17,6,*,*]
 [7,17,7,*,*]
 [7,18,1,*,*]
 [7,18,2,*,*]
 [7,18,3,*,*]
 [7,18,4,*,*]
 [7,18,5,*,*]
 [7,18,6,*,*]
 [7,18,7,*,*]
 [7,19,1,*,*]
 [7,19,2,*,*]
 [7,19,3,*,*]
 [7,19,4,*,*]
 [7,19,5,*,*]
 [7,19,6,*,*]
 [7,19,7,*,*]
 [7,22,1,*,*]
 [7,22,2,*,*]
 [7,22,3,*,*]
 [7,22,4,*,*]
 [7,22,5,*,*]
 [7,22,6,*,*]
 [7,22,7,*,*]
 [7,25,1,*,*]
 [7,25,2,*,*]
 [7,25,3,*,*]
 [7,25,4,*,*]
 [7,25,5,*,*]
 [7,25,6,*,*]
 [7,25,7,*,*]
 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,9,1,*,*]
 [8,9,2,*,*]
 [8,9,3,*,*]
 [8,9,4,*,*]
 [8,9,5,*,*]
 [8,9,6,*,*]
 [8,9,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,13,1,*,*]
 [8,13,2,*,*]
 [8,13,3,*,*]
 [8,13,4,*,*]
 [8,13,5,*,*]
 [8,13,6,*,*]
 [8,13,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,17,1,*,*]
 [8,17,2,*,*]
 [8,17,3,*,*]
 [8,17,4,*,*]
 [8,17,5,*,*]
 [8,17,6,*,*]
 [8,17,7,*,*]
 [8,18,1,*,*]
 [8,18,2,*,*]
 [8,18,3,*,*]
 [8,18,4,*,*]
 [8,18,5,*,*]
 [8,18,6,*,*]
 [8,18,7,*,*]
 [8,19,1,*,*]
 [8,19,2,*,*]
 [8,19,3,*,*]
 [8,19,4,*,*]
 [8,19,5,*,*]
 [8,19,6,*,*]
 [8,19,7,*,*]
 [8,22,1,*,*]
:   26    :=
4    2

 [8,22,2,*,*]
:   26    :=
24   2

 [8,22,3,*,*]
 [8,22,4,*,*]
:   26    :=
8    2

 [8,22,5,*,*]
:   26    :=
24   2

 [8,22,6,*,*]
:   26    :=
8    2

 [8,22,7,*,*]
:   26    :=
20   2

 [8,25,1,*,*]
 [8,25,2,*,*]
 [8,25,3,*,*]
 [8,25,4,*,*]
 [8,25,5,*,*]
 [8,25,6,*,*]
 [8,25,7,*,*];

SEC [1,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    0   0   1   0   1   0   1   0   1   0   0   0   1
3    0   0   0   1   0   0   0   0   0   0   0   0   0
9    0   0   0   0   0   0   0   1   0   0   0   0   0
14   0   0   0   0   0   0   0   0   0   0   1   0   0
16   0   1   0   0   0   1   0   0   0   0   0   0   0
18   1   0   0   0   0   0   0   0   0   1   0   0   0
21   0   0   0   0   0   0   0   0   0   0   0   1   0

 [2,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   0   0   0   1   0   0   1   1   1   0   0   0
23   0   1   0   0   0   0   1   0   0   0   0   1   0
24   0   0   0   0   0   0   0   0   0   0   1   0   0
25   0   0   0   0   0   1   0   0   0   0   0   0   0
26   0   0   0   0   0   0   0   0   0   0   0   0   1
27   1   0   0   1   0   0   0   0   0   0   0   0   0
28   0   0   1   0   0   0   0   0   0   0   0   0   0

 [3,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    1   0   0   0   1   0   0   1   0   1   0   0   0
7    0   0   1   0   0   0   0   0   0   0   0   0   0
9    0   0   0   0   0   0   0   0   1   0   0   0   0
11   0   0   0   0   0   0   0   0   0   0   1   0   1
12   0   0   0   0   0   0   1   0   0   0   0   0   0
16   0   0   0   1   0   0   0   0   0   0   0   1   0
20   0   0   0   0   0   1   0   0   0   0   0   0   0
21   0   1   0   0   0   0   0   0   0   0   0   0   0

 [4,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   0   0   0   1   0   0   1   0   0   0   0   0
23   0   0   0   1   0   0   0   0   0   0   0   0   0
24   0   0   0   0   0   0   0   0   0   0   1   0   1
25   0   0   1   0   0   0   0   0   0   0   0   0   0
26   1   0   0   0   0   0   0   0   1   0   0   0   0
27   0   0   0   0   0   0   1   0   0   1   0   1   0
28   0   1   0   0   0   1   0   0   0   0   0   0   0

 [5,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
2    0   0   0   1   1   0   0   0   1   0   0   1   0
4    0   0   0   0   0   0   0   1   0   0   0   0   0
7    0   0   0   0   0   1   0   0   0   0   1   0   0
9    1   1   0   0   0   0   0   0   0   0   0   0   0
16   0   0   0   0   0   0   0   0   0   0   0   0   1
19   0   0   1   0   0   0   0   0   0   0   0   0   0
21   0   0   0   0   0   0   1   0   0   1   0   0   0

 [6,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   0   1   1   1   1   1   1   1   1   1   1   0   1
23   0   0   0   0   0   0   0   0   0   0   0   1   0
25   1   0   0   0   0   0   0   0   0   0   0   0   0

 [7,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
1    1   1   1   1   1   1   1   1   1   1   1   1   1

 [8,*,*] (tr)
:    1   2   4   7   9  12  13  14  17  18  19  22  25    :=
22   1   1   1   1   1   1   1   1   1   1   1   0   1
26   0   0   0   0   0   0   0   0   0   0   0   1   0
;

Poli = 43
totales = 127

Faltantes = 139.2
sobrantes = 163.8
salario = 4418.94
servicio = 21.417
capacitacion = 0.86

_solve_elapsed_time = 7200.88

_nvars = 745252
_ncons = 13561

solve_result_num = 422

